Handle the case when lispintro is truncated to lispintr.
authorEli Zaretskii <eliz@gnu.org>
Fri, 31 May 2002 15:13:10 +0000 (15:13 +0000)
committerEli Zaretskii <eliz@gnu.org>
Fri, 31 May 2002 15:13:10 +0000 (15:13 +0000)
commite1b767d2241319e29aab02b20dc6919077f89e42
treea75e9fd7b3c1657187f2d8c0f365aeab5a11ca3d
parentb9c70a57fbcfa83d4e66bf7011fc014bb678fd5f
Handle the case when lispintro is truncated to lispintr.
config.bat